1. Gödel nemteljességi tételei :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Gödel, Kurt.,Axióma.,Gödel-tétel.,Halmazelmélet-- axiomatikus.,Matematika filozófiai problémái.,Matematikai logika.

2. Godel's theorem: an incomplete guide to its use and abuse

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Godel's theorem,، Incompleteness theorems

رده :
QA
9
.
65
.
F73
2005

3. Inexhaustibility : a non-exhaustive treatment

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy

رده :
QA
9
.
A1L44
Vol
.
16

4. Provability and truth

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : ismeretelmélet,Logic.,Truth.